Lecture: Transactional Memory, Networks • Topics: TM implementations, on-chip networks 1 Summary of TM Benefits

Source URL: www.eng.utah.edu

Condition Variables and Transactional Memory: Problem or Opportunity? Polina Dudnik and Michael M. Swift University of Wisconsin–Madison {pdudnik,swift}@cs.wisc.edu

Source URL: transact09.cs.washington.edu

Transactional memory with data invariants Tim Harris Simon Peyton Jones Microsoft Research, Cambridge

Source URL: timharris.uk

Leveraging Transactional Memory for Energy-efficient Computing below Safe Operation Margins Adrian Cristal Osman Unsal Gulay Yalcin Barcelona Computing Center, Spain

Source URL: transact2013.cse.lehigh.edu

Lecture 10: Transactional Memory • Topics: lazy and eager TM implementations, TM pathologies 1 Basic Implementation – Lazy, Lazy

Source URL: www.eng.utah.edu

NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory Systems Haris Volos1 , Adam Welc2 , Ali-Reza Adl-Tabatabai2 , Tatiana Shpeisman2 , Xinmin Tian2 , and Ravi Narayanaswamy2 1

Source URL: www.adamwelc.org

• Computing
• Concurrent computing
• Concurrency control
• Transaction processing
• Computer programming
• Parallel computing
• Databases
• Concurrent programming languages
• OpenMP
• Software transactional memory
• Linearizability
• Lock

The Semantics of Progress in Lock-Based Transactional Memory Rachid Guerraoui Michał Kapałka EPFL, Switzerland

Source URL: kapalka.eu

Generalizing the Correctness of Transactional Memory Rachid Guerraoui Thomas A. Henzinger Michał Kapałka

Source URL: kapalka.eu

Transactional Memory with Strong Atomicity Using Off-the-Shelf Memory Protection Hardware Mart´ın Abadi⋆† Tim Harris⋆

Source URL: users.soe.ucsc.edu